--- The purpose of this package is to get all tools compiled

module StandardTools where

-- we use public imports to avoid "unused import" hints

import frege.tools.Doc public()
import frege.tools.YYgen public()
import frege.tools.Quick public()
import frege.ide.Utilities public()
import frege.tools.Splitter public()
import frege.tools.MakeDocIndex public()
